From cdba1b8ac8f65b8451dc8baa9f4bba7a878f3f06 Mon Sep 17 00:00:00 2001 From: Benjamin Otte Date: Wed, 2 Aug 2017 16:55:25 +0100 Subject: [PATCH] docs: Don't use GtkEventBox --- docs/tools/widgets.c | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/docs/tools/widgets.c b/docs/tools/widgets.c index 200a1c3625..ba062e71a7 100644 --- a/docs/tools/widgets.c +++ b/docs/tools/widgets.c @@ -926,8 +926,12 @@ create_notebook (void) gtk_notebook_append_page (GTK_NOTEBOOK (widget), gtk_label_new ("Notebook"), NULL); - gtk_notebook_append_page (GTK_NOTEBOOK (widget), gtk_event_box_new (), NULL); - gtk_notebook_append_page (GTK_NOTEBOOK (widget), gtk_event_box_new (), NULL); + gtk_notebook_append_page (GTK_NOTEBOOK (widget), + gtk_label_new ("Notebook"), + NULL); + gtk_notebook_append_page (GTK_NOTEBOOK (widget), + gtk_label_new ("Notebook"), + NULL); return new_widget_info ("notebook", widget, MEDIUM); } -- 2.30.2